1

The Analysis and Design of WTN Chess Algorithm

Year:
2014
Language:
english
File:
PDF, 254 KB
english, 2014
36

A study of hybrid prediction method for ship parametric rolling

Year:
2016
Language:
english
File:
PDF, 4.55 MB
english, 2016
41

Parallelizing SMT solving: Lazy decomposition and conciliation

Year:
2018
Language:
english
File:
PDF, 1.35 MB
english, 2018